x . x): Int -> Int Bool -> Bool (a->b) -> (a->b) but any valid type will be an instance of the principal type: a -> a. An instance is derived by substituting the same type expression for all occurences of some {type variable}. The principal type of an expression can be computed from those of its subexpressions by Robinson's : FOLDOC

翻訳と辞書

Words near each other

Dictionary Lists

mini英和辞書

翻訳と辞書　辞書検索 [ 開発暫定版 ]

スポンサードリンク

Int -> Int
Bool -> Bool
(a->b) -> (a->b)

but any valid type will be an instance of the principal type: a -> a. An instance is derived by substituting the same type expression for all occurences of some {type variable}. The principal type of an expression can be computed from those of its subexpressions by Robinson's>

x . x):
Int -> Int
Bool -> Bool
(a->b) -> (a->b)

but any valid type will be an instance of the principal type: a -> a. An instance is derived by substituting the same type expression for all occurences of some {type variable}. The principal type of an expression can be computed from those of its subexpressions by Robinson's ： FOLDOC

スポンサードリンク

翻訳と辞書 : 翻訳のためのインターネットリソース